Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 19.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000558 | David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | A comprehensive analysis of game-based ballot privacy definitions |
| 000F48 | Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | Deduction Soundness: Prove One, Get Five for Free |
| 001926 | David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | Measuring Vote Privacy, Revisited. |
| 002046 | Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | A Composable Computational Soundness Notion |
| 002132 | David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Ben Smyth [France] ; Bogdan Warinschi [Royaume-Uni] | Adapting Helios for provable ballot secrecy |
| 002259 | Véronique Cortier [France] ; Bogdan Warinschi | A composable computational soundness notion (Abstract) |
| 003D12 | Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni] | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
| 004753 | Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthetizing secure protocols |
| 004764 | Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
| 004848 | Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
| 004E26 | Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthesizing secure protocols |
| 004E76 | Zalinescu Eugen [France] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | From passive to active security via a simple transformation |
| 004F30 | Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France] | Computationally Sound Symbolic Secrecy in the Presence of Hash Functions |
| 005023 | Véronique Cortier [France] ; Heinrich Hoerdegen [France] ; Bogdan Warinschi [France] | Explicit Randomness is not Necessary when Modeling Probabilistic Encryption |
| 005068 | Yassine Lakhnech [France] ; Laurent Mazare [France] ; Bogdan Warinschi [France] | Soundness of Symbolic Equivalence for Modular Exponentiation |
| 005069 | Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Arnab Roy [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] ; Bogdan Warinschi [France] | Computationally Sound Compositional Logic for Security Protocols |
| 005774 | Véronique Cortier [France] ; Heinrich Hördegen [France] ; Bogdan Warinschi [France] | Explicit Randomness is not Necessary when Modeling Probabilistic Encryption |
| 005A58 | Véronique Cortier [France] ; Bogdan Warinschi | Computationally Sound, Automated Proofs for Security Protocols |
| 007058 | Véronique Cortier [France] ; Bogdan Warinschi | Computationally Sound, Automated Proofs for Security Protocols |
| This area was generated with Dilib version V0.6.33. |  |